1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H4
1971

2. Computability

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions

رده :
QA
.
D38
9
.
615
1982

3. Computability /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computable functions,Recursive functions

رده :
QA9
.
59
.
T68
1984

4. Computability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
T68
1984

5. Computability

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computable functions,، Recursive functions

رده :
QA
9
.
59
.
W45
1987

6. Computability : an introduction to recursive function theory

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursion theory,، Recursive functions

رده :
QA
9
.
59
.
C87
1980

7. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.

رده :
QA
9
.
59
.
B6C6

8. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

9. Computability and logic

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
E-BOOK

10. Computability and logic

پدیدآورنده :

کتابخانه: كتابخانه دانشكده ادبیات و علوم انسانی دانشگاه كاشان (أصبهان)

موضوع : Computable functions,Recursive functions

رده :
511
.
3
B724C

11. Computability and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6

12. Computability and logic

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computable functions. ; Recursive functions. ; Logic, Symbolic and mathematical. ;

13. Computability and logic

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)

موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical

رده :
QA9
.
59
.
B66
2002

14. Computability and logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical

رده :
QA
9
.
59
.
B66C6
1989

15. Computability and logic

پدیدآورنده :

موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical,، Computable functions

۴ نسخه از این کتاب در ۴ کتابخانه موجود است.

16. Computability and unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

رده :
QA
9
.
615
.
D38
1982

17. Computability theory: an introduction

پدیدآورنده :

کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)

موضوع : Recursive functions,Turing machines,Computable functions

رده :
QA
.
J66
248
.
5

18. Computability & unsolvability

پدیدآورنده :

موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

19. Computability & unsolvability

پدیدآورنده :

کتابخانه: (طهران)

موضوع : RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS

رده :
QA
9
.
615
.
D38

20. Computability with pascal

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Data processing ، Computable functions,Data processing ، Recursive functions,، Pascal )Computer program language(

رده :
QA
9
.
59
.
M34
1984